| Commit message (Collapse) | Author | Age |
... | |
| | | |
| | | |
| | | |
| | | |
| | | | |
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.
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| |_|/
|/| |
| | |
| | |
| | | |
Executing parse_kconfig in test run makes no sense and takes to much
time.
|
| |/
|/|
| |
| |
| | |
measure_list containst ints. But method writelines can only be used with
strings.
|
| |
| |
| |
| |
| | |
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.
|