| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
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.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Creation of link to linux image wasn't done right.
Outcome was, wrong path in link.
|
| |
|
|
|
| |
Any exception raised from user script, that should parse boot command output, should be ignored.
If fails, no value is written to database.
|
| |
|
|
| |
This identifier is for recognition what generator generated specified configuration as first.
|
| | |
|
| |
|
|
| |
.pgpass file has to be allowed in configuration. Using environment variable is more platform independent.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
Also initial implementation of multithread execution.
A lot of functionality changed.
Phases removed.
Output parsing is now part of measure (boot) process.
Utils cleared.
Add dot_measure file for inverted dot_config.
Configuration generating is now prepared for multiple generating types. Fist implemented is generating configurations with single selected configuration.
Test is modified to be compatible with new changes.
|
| |
|
|
|
|
| |
Add check for recursive makefile calls.
Also add removing of dot_config to clean_measure target.
run and initialize now requires all target. This allow dependency on all programs not only selected. This is done for simplification.
|
| | |
|
| |
|
|
|
| |
Added inv option for generating inverted configurations.
Inverted configuration contains configuration options that are not in original configuration file.
|
| |
|
|
| |
And make now returns name of image.
|
| |
|
|
|
|
| |
implementation of write_config
Also unused function config_noprogram commented.
|
| |
|
|
|
|
| |
Part of the initialize target should be also initialization of database.
Target distclean should clean project to state as it is in git repository.
|
| | |
|
| |
|
|
| |
build_conf_map is not used anywhere. And plan is to change files with which it works. So it doesn't have any sense to keeping it there or even rewriting it.
|
| |
|
|
| |
Log files won't be in only one folder. Every program have its own folder.
|
