Added handshake state machine simulation proof (WIP) to the saw-script file
import "spec/rfc-handshake.cry";
import "spec/s2n_advance_message.cry";
-c_code <- llvm_load_module "bitcode/all_llvm.bc";
\ No newline at end of file
+//c_code <- llvm_load_module "bitcode/all_llvm.bc";
+
+prove z3 {{ rfcSimulatesS2N }};
\ No newline at end of file
