summaryrefslogtreecommitdiff
path: root/proofs/lfsc_checker/scccode.cpp
blob: 19712579cce9da350ff0dded9a3681e58636deba (plain) 
1
2
3
4
5
6
7
8
9
10
11

#include "scccode.h"

void init_compiled_scc(){

}

Expr* run_compiled_scc( Expr* p, std::vector< Expr* >& args ){
  return NULL;
}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback