Code used in verification Currently contains: fireLib-C The C original version of fireLib, configured to produce test cases to verify EmberEngine an fireLib js porting.