Exemplo n.º 1
0
int
main(int argc, char *argv[])
{
	if (argc < 4)
		errx(1, "not enough arguments");

	init_sli();

	VexPtr<Oracle> oracle(new Oracle(NULL, NULL, NULL));

	VexPtr<StateMachine, &ir_heap> readMachine(readStateMachine(open(argv[1], O_RDONLY)));
	VexPtr<StateMachine, &ir_heap> writeMachine(readStateMachine(open(argv[2], O_RDONLY)));
	VexPtr<IRExpr, &ir_heap> assumption(readIRExpr(open(argv[3], O_RDONLY)));
	
	bool mightCrash;
	bool mightSurvive;

	evalCrossProductMachine(readMachine, writeMachine, oracle, assumption,
				AllowableOptimisations::defaultOptimisations,
				&mightSurvive, &mightCrash, ALLOW_GC);
	printf("Might survive %d, might crash %d\n",
	       mightSurvive, mightCrash);

	return 0;
}
Exemplo n.º 2
0
int readStates(string filePrefix) {
	dout << " loadStates" << endl;	
	
	string fileName = filePrefix + "state_machine.dat";
	FILE *fin = fopen(fileName.c_str(), "rb");
	if(!fin) {
		dout << "ERROR- loadStates: Could not open " << fileName << " for reading." << endl;
		return 1;
	}
	readStateMachine(fin, game_states);
	dout << game_states;
	fclose(fin);
	dout << " End loadStates" << endl;	
	return 0;
}