alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/bddtest.cxx: Include <cstdlib> to compile with g++-4.3.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2008-03-13 18:20:47 +01:00
parent ab1a2ae5d7
commit f217ff374c
2 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
buddy/src/bddtest.cxx
View file

@ -1,5 +1,5 @@
/*========================================================================
Copyright (C) 1996-2002 by Jorn Lind-Nielsen
Copyright (C) 1996-2002, 2008 by Jorn Lind-Nielsen
All rights reserved
Permission is hereby granted, without written agreement and without
@ -28,6 +28,7 @@
========================================================================*/
#include <string>
#include <cstdlib>
#include "bdd.h"
#include "bvec.h"
@ -49,7 +50,7 @@ static void testSupport(void)
bdd odd = bdd_ithvar(1) | bdd_ithvar(3) | bdd_ithvar(5);
cout << "Testing support\n";
bdd s1 = bdd_support(even);
bdd s2 = bdd_support(odd);
@ -76,7 +77,7 @@ static void testSupport(void)
void testBvecIte()
{
cout << "Testing ITE for vector\n";
bdd a = bdd_ithvar(0);
bvec b = bvec_var(3, 1, 2);
bvec c = bvec_var(3, 2, 2);