User Tools

Site Tools


Project:Csmith_Driver

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
Project:Csmith_Driver [2023/12/09 11:20]
whr Create
Project:Csmith_Driver [2023/12/10 04:13] (current)
whr Explicitly reference Git HEAD
Line 3: Line 3:
 === Features === === Features ===
 Please read the example configuration file [[https://​sourceforge.net/​p/​rivoreo/​csmith-drivers-code/​ci/​master/​tree/​output-test.cfg|output-test.cfg]] for features of the main driver ''​output-test''​. Please read the example configuration file [[https://​sourceforge.net/​p/​rivoreo/​csmith-drivers-code/​ci/​master/​tree/​output-test.cfg|output-test.cfg]] for features of the main driver ''​output-test''​.
-A simpler driver named ''​crash-test.sh''​ can also be used to crash a specified compiler. 
  
 +A simpler driver named ''​crash-test.sh''​ can also be used to crash a specified compiler.
  
 === Links === === Links ===
-  * [[https://​sourceforge.net/​p/​rivoreo/​csmith-drivers-code/​ci/​master/​tree/​COPYING|License]] ([[License:​MPL-2]]+) +  * [[https://​sourceforge.net/​p/​rivoreo/​csmith-drivers-code/​ci/​HEAD/​tree/​COPYING|License]] ([[License:​MPL-2]]+) 
-  * [[https://​sourceforge.net/​p/​rivoreo/​csmith-drivers-code/​|Browse source]]+  * [[https://​sourceforge.net/​p/​rivoreo/​csmith-drivers-code/​ci/​HEAD/​tree/|Browse source]]
  
Project/Csmith_Driver.1702120859.txt.gz · Last modified: 2023/12/09 11:20 by whr