1. 23
    Csmith c testing embed.cs.utah.edu
    pushcx avatar via pushcx 2 years ago | cached | 3 comments

  1.  

  2. 2
    steveno avatar steveno 2 years ago | link

    Interesting. Do any other languages have a similar tool?

    1. 3
      apy avatar apy 2 years ago | link

      Someone from QuviQ has been using Quickcheck to test the Erlang compiler:

      http://erlang.org/pipermail/erlang-bugs/2014-March/004168.html

      1. 1
        steveno avatar steveno 2 years ago | link

        I wonder how difficult something like this is to do properly. I’d like to try it.