ben-marshall / sat-solver Goto Github PK

Description TBD.

Testcase generator is limited and very inefficient.

New one should be able to:

• Generate different sorts (shapes ^1) of expressions
• Arguments to configure numbers of inputs / outputs / intermediates
• Support comments to note the seed used to generate it.

1. shapes of expressions: should there be few inputs and lots of outputs or a reduction of many inputs to one output?

Be able to create graphs & tables of performance against input size automatically.

Features:

• Create a set of random stimulus of different sizes.
• Gather input data statistics: number of variables, inputs, outputs, intermediates.
• Gather performance data: runtime, peak memory.
• Tag performance data by the commit hash.
• Create graphs of performance per regression run.
• Aggregate and plot performance over time (commits)

Infrastructure

• Codedocs Doxygen
• Read the docs

Parser

• Expression data structure
• Nested expression parsing

Implication Matrix

• Generate matrix based on size of expression tree
• Inserting tree into matrix
• Filling out of matrix from tree leaf to root.

Testing

• Coverage build.
• Coveralls integration.
• Random Testing framework.

Optimisation

• Setup profiling run
• OpenMP