LeventErkok/sbv — Issue #35: typedef SBool as bool?
Author: leepike
Created: 2012-01-01 03:27:52+00:00
State: open

In the generated internal.h header, rather than

> typedef uint8_t SBool ;

what about

> typedef bool SBool ;

In particular, I'm having trouble using CBMC for static analysis, since elsewhere I equate SBool with bool.