• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..12-Jul-2019-

README.mdH A D12-Jul-2019254 74

reg0000.traceH A D12-Jul-2019179 1918

reg0001.traceH A D12-Jul-201923 54

reg0002.traceH A D12-Jul-201948 98

reg0003.traceH A D12-Jul-201954 109

reg0004.traceH A D12-Jul-201973 1312

reg0005.traceH A D12-Jul-201967 1211

reg0006.traceH A D12-Jul-2019100 1211

reg0007.traceH A D12-Jul-201965 87

reg0008.traceH A D12-Jul-2019373 4039

reg0009.traceH A D12-Jul-201973 87

reg0010.traceH A D12-Jul-201998 1110

reg0011.traceH A D12-Jul-201985 109

reg0012.traceH A D12-Jul-2019100 1211

reg0013.traceH A D12-Jul-201982 109

reg0014.traceH A D12-Jul-2019109 1211

reg0015.traceH A D12-Jul-2019166 1918

reg0016.traceH A D12-Jul-2019174 1615

reg0017.traceH A D12-Jul-2019209 1918

reg0018.traceH A D12-Jul-2019149 2423

reg0019.traceH A D12-Jul-2019150 2423

reg0020.traceH A D12-Jul-2019162 1716

reg0021.traceH A D12-Jul-2019102 1110

reg0022.traceH A D12-Jul-201954 65

reg0023.traceH A D12-Jul-201979 98

reg0024.traceH A D12-Jul-2019174 2019

reg0025.traceH A D12-Jul-201945 65

reg0026.traceH A D12-Jul-2019249 2423

reg0027.traceH A D12-Jul-2019856 8786

reg0028.traceH A D12-Jul-2019110 1211

reg0029.traceH A D12-Jul-2019629 6261

reg0030.traceH A D12-Jul-2019298 3029

reg0031.traceH A D12-Jul-2019380 4544

reg0032.traceH A D12-Jul-2019119 1312

reg0033.traceH A D12-Jul-2019208 2827

reg0034.traceH A D12-Jul-2019106 1110

reg0035.traceH A D12-Jul-2019199 2019

reg0036.traceH A D12-Jul-201995 109

reg0037.traceH A D12-Jul-2019194 2221

reg0038.traceH A D12-Jul-2019253 3332

reg0039.traceH A D12-Jul-2019110 1312

reg0040.traceH A D12-Jul-2019283 2928

reg0041.traceH A D12-Jul-2019595 6362

reg0042.traceH A D12-Jul-2019284 3635

reg0043.traceH A D12-Jul-2019192 2827

reg0044.traceH A D12-Jul-201994 1110

reg0045.traceH A D12-Jul-2019118 1413

reg0046.traceH A D12-Jul-2019109 1312

reg0047.traceH A D12-Jul-2019107 1312

reg0048.traceH A D12-Jul-2019523 7069

reg0049.traceH A D12-Jul-2019345 2928

reg0050.traceH A D12-Jul-2019345 2928

reg0051.traceH A D12-Jul-2019334 4039

run.shH A D12-Jul-20192 KiB9771

README.md

1These are regression tests in form of API traces, which are read and
2executed with the model based tester `mobical` in the build directory.
3
4The `run.sh` script is only used for `make test`.
5
6The `makefile` allows to run this tests with a single `make`.
7