Skip to content
Snippets Groups Projects
Select Git revision
  • 2895f5043e570088a860e68d6012a5ce355e10f6
  • master default protected
  • bug-collection
3 results

models

Models folder

The original model is Test.ttmodel. For TTC2019 we have created a simple generator which can produce tables of arbitrary size, with a specified number of inputs and outputs. The outputs are randomly generated according to a certain seed.

To run the generator, simply use:

java -jar generator.jar nInputs nOutputs seed

nInputs, nOutputs and seed should be positive integers that specify the number of input ports and output ports of the truth table, and the random seed used for the truth table respectively.

The code for the generator is in the Eclipse ttc2019.model.generator project, which includes a .tests fragment project with some simple unit tests.