Development Log

  • SPARK Pro
    Apr 26th, 2017

    Static constants not printed in counterexamples
    Providing values for static constants in counterexamples is useless as their values can be deduced from reading the source code. Spark now detects such constant and avoid printing them in counterexamples to improve their readability.