---

peanotest.c File Reference

Test driver for Peano arithmetic. It uses the CUnit framework. More...

#include <CUnit/CUnit.h>
#include <CUnit/TestDB.h>
#include <CUnit/Curses.h>
#include "peano.h"

Include dependency graph for peanotest.c:

Functions
int	init (void)
int	clean (void)
void	self_consistent_eq (void)
void	self_consistent_sum (void)
void	model_consistent_sum (void)
void	runTests (void)
int	main ()

---

Detailed Description

Test driver for Peano arithmetic. It uses the CUnit framework.

---

Function Documentation

int clean (  void    )

int init (  void    )

initialization and cleanup functions

int main (    )

void model_consistent_sum (  void    )

Model theoretic consistency The second family is inspired (and never gets to it) on model theoretic proofs of faithfulness. We choose the nonnegative integers as a model and try to prove that the model satisfies our Peano formalization. Everything under the limitation of a framework (C language) that must be computable.)

void runTests (  void    )

Starting up the tests

void self_consistent_eq (  void    )

Self consistency family of tests The first group of tests checks Peano for consistency. It consists of tests of consistency of equality and object constructors consistency of different implementations of logics

void self_consistent_sum (  void    )

---