Implementation for all test cases and implementation of oracle #2
Description
hello,
I was exploring the DoLTEst implementation. However, it seems that the public implementation has the configuration for only one test case. Can you provide the required config files / implementation for all the 1848 test cases as decribed in the paper? I also cannot find where the different candidates for message fields are generated.
Also, according to the paper there is an oracle implemented which provides the correct output according to the specfication, but i cannot find its implementation in the repo. Can you provide it?