src/verif/tests/simpleJ.c File Reference

#include <stdio.h>
#include "exactTestsIJ.h"

Go to the source code of this file.

Functions
int	main ()

---

Function Documentation

int main

(

)

Definition at line 46 of file simpleJ.c.

References e, exactJ(), exactV::H(), secpera, exactV::v(), and exactV::x.