kdahlgren/chaoxis

A Python implementation of LDFI.

chaoxis's Issues

Does not save c4 results to files.

c4 wrapper dump produces random integers?????

Async rule rewrites incomplete.

Multi-file loading is broken. Also attempts to read include statements as facts???

Topology definition from file.

If the user does not provide a node list at the command line (e.g. "--nodes a,b,c"), then dedalusParser.py will create a node topology iff an input file contains a list of facts name as "node" (e.g. "node("a","b")@1"). Otherwise, the code does not create a topology.

Solution options:
Soln1. Ensure the input files describe a topology of nodes. Abort otherwise.
Soln2. Make the topology definition facts more robust. For example, use an invariant such as, topology definition facts are (1) binary relations, (2) both attributes are filled with specific strings encapsulated by double quotes, and (3) specify a time.

Does not provide default definitions of pre and post rules if not provided by the user.

Shift look-ahead logic for Pycosat solvers from Chaoxis to Sniper.

Incomplete testing framework.

parseCommandLineInputs does not input multiple files from command line.