Stephen Siegel

icon indicating a website link http://vsl.cis.udel.edu

icon company University of Delaware icon location Newark DE, USA

Results 2 issues of Stephen Siegel

"reflexive" vs. "symmetric" in hash_table.h doc

1 comment

The documentation for function `aws_hash_callback_eq_fn` in `hash_table.h` states > Equality functions used in a hash table must be reflexive (i.e., a == b if and only if b == a)......

documentation

Some issues installing ESBMC on a Mac

2 comment

I'm having some issues installing ESBMC on a Mac (Apple MacBook Pro M1, macOS 14.6.1). First problem is telling CMake how to find my Boost installation. I use MacPorts (not...