Actions
Task #7663
closed"main" function
Start date:
11/01/2016
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
0.1.1-beta-170425
Description
The main function's pseudocode should be as follows:
Trace* specTrace; // QEMU trace Trace* implTrace; // MicroTESK trace while ("both traces still have records to be taken") { Record specRecord = getNextRecord(specTrace); Record implRecord = getNextRecord(implTrace); Oracle.registerRecord(specRecord); Oracle.registerRecord(implRecord); Oracle.check(); }
Updated by Sergey Smolov almost 8 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
- Detected in build changed from svn to master
Done in 953dd297
Updated by Sergey Smolov over 7 years ago
- Status changed from Resolved to Closed
- Published in build set to 0.1.1-beta-170425
Actions