Task #7663: "main" function - Trace Matcher - Open-Source Projects

Actions

Copy link

Task #7663

closed

"main" function

Added by Sergey Smolov about 8 years ago. Updated over 7 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Sergey Smolov

Target version:

0.1

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();
}