Frobby 0.9.5
IdealTest.cpp File Reference
#include "stdinc.h"
#include "Ideal.h"
#include "tests.h"
#include "Term.h"

Go to the source code of this file.

Functions

 TEST (Ideal, IsWeaklyGeneric1)
 
 TEST (Ideal, IsWeaklyGeneric2)
 

Function Documentation

◆ TEST() [1/2]

TEST ( Ideal ,
IsWeaklyGeneric1  )

Definition at line 25 of file IdealTest.cpp.

◆ TEST() [2/2]

TEST ( Ideal ,
IsWeaklyGeneric2  )

Definition at line 35 of file IdealTest.cpp.