summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcFault.c
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2014-04-011-1/+1
* Adding switch to handle only single faults.Alan Mishchenko2014-04-011-10/+86
* Adding functionally observable fault testing.Alan Mishchenko2014-03-311-2/+2
* Adding functionally observable fault testing.Alan Mishchenko2014-03-311-2/+64
* Adding a feature to dump untestable multiple faults.Alan Mishchenko2014-03-281-8/+108
* Experiments with stuck-at fault testing.Alan Mishchenko2014-03-241-37/+149
* Experiments with stuck-at fault testing.Alan Mishchenko2014-03-231-12/+74
* Experiments with stuck-at fault testing.Alan Mishchenko2014-03-091-7/+51
* Experiments with delay fault testing.Alan Mishchenko2014-03-051-15/+96
* Experiments with delay fault testing.Alan Mishchenko2014-03-041-0/+265