#include "basics/testcase.hh"
Go to the source code of this file.
Test for formulas.
Definition in file testFormula.hh.