| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
| |
If generating single throw NoSolution exception, randomly generated CNF
file is removed. But finally statement tries to remove it once again.
Solution is to not remove CNF file in exception handling, but only by
finally statement.
|
| |
|
|
|
|
| |
This duplication was created probably by merging.
|
|\
| |
| |
| | |
Pull generate_single fix.
|
| |
| |
| |
| |
| | |
measure_list containst ints. But method writelines can only be used with
strings.
|
|\|
| |
| |
| |
| |
| | |
Conflicts:
conf.py
scripts/configurations.py
|
| |
| |
| |
| |
| | |
This fixes and ensures that every call generates configuration. Unless
False is returned.
|
| |
| |
| |
| |
| | |
Measure function requires img and config as atributes. But only config
was provided.
|
| |
| |
| |
| |
| | |
Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.
|
| | |
|
| | |
|
| |
| |
| |
| | |
Loading configuration load all configuration options as True.
|
| | |
|
| |
| |
| |
| |
| | |
When some generator tries to register already generated solution, it
shouldn't be registered.
|
| |
| |
| |
| | |
Type inserted to method is str, but threated as int.
|
| | |
|
| |
| |
| |
| |
| |
| | |
Previous method of calculating hash wasn't work (wouldn't give same
result for same configuration) if there would be added
new configuration options to hashconfigsort file.
|
| |
| |
| |
| |
| | |
Database configuration was set as it was used during development and
testing. Changed to some of default not usable values.
|
| |
| |
| |
| | |
configuration per execution
|
| |
| |
| |
| |
| | |
Measure function requires img and config as atributes. But only config
was provided.
|
| |
| |
| |
| |
| | |
Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.
|
| |
| |
| |
| |
| |
| | |
Previous method of calculating hash wasn't work (wouldn't give same
result for same configuration) if there would be added
new configuration options to hashconfigsort file.
|
| | |
|
| |
| |
| |
| |
| | |
This argument was already removed by previous commit, but probably with
some merge it come back.
|
| | |
|
| | |
|
| |
| |
| |
| | |
As first will be measured only konfiguration options in kernel folder.
|
| |
| |
| |
| | |
Loading configuration load all configuration options as True.
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| |
| | |
When some generator tries to register already generated solution, it
shouldn't be registered.
|
| |
| |
| |
| | |
Type inserted to method is str, but threated as int.
|
| |
| |
| |
| | |
configuration per execution
|
| | |
|
| | |
|
| |
| |
| |
| | |
Parsing maximal value from first thread as result.
|
| |
| |
| |
| |
| |
| |
| |
| | |
Remove init atribut from boot_script. It is not usable when system using
/init as default.
Build script is moved for ryuglab target. Root build script is now
pointing to right location.
|
| |
| |
| |
| |
| | |
Also used external package to buildroot for rt-tests to use latest
master version.
|
| |
| |
| |
| |
| | |
Also folder measure_scripts renamed to ryuglab_scripts to signalize for
what target are those scripts.
|
| | |
|
| | |
|
| |
| |
| |
| | |
Git was ignoring files in overlay folder
|
| |
| |
| |
| | |
Now cyclictest should be bootable.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| | |
Added novaboot call directly. nbscript is not executable.
|
| | |
|