704830a501
* document symcc_runtime * rename serialization format expressions to be more concise * authorship notes * document dump_constraints * document smoke test * tests for serialization format and refactoring * remove unused bswap message * remove obselete SymExpr::End * document and refactor serialization format * fmt * more missing docs * typos * clippy
10 lines
626 B
Markdown
10 lines
626 B
Markdown
This folder contains all the code necessary to run a smoke test of the whole concolic tracing setup.
|
|
This is achieved by
|
|
1. Compiling SymCC. Dependencies are installed via `smoke_test_ubuntu_deps.sh`.
|
|
2. Compiling a custom runtime with tracing capability (`runtime_test`).
|
|
3. Compiling a test program using SymCC that instruments using the custom runtime.
|
|
4. Capturing an execution trace of the instrumented target using `dump_constraints` and a fixed input (`if_test_input`).
|
|
5. Snapshot-testing the captured trace against our expectation (`expected_constraints.txt`).
|
|
|
|
This whole process is orchestrated by `smoke_test.sh`.
|