home.social

#acsl — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #acsl, aggregated by home.social.

  1. Hafstorsk Tutiluren Rufsgössen @[email protected] ·

    I started looking at ACSL in Frama-C. Looks promising, although a bit complex at first.

    I wonder if I can convey it to output its proofs in some readable format for archiving. And it would be swell with some test report or so. Perhaps also a non-zero return code so that it becomes more easily integrated in a regression test CI/CD pipeline.

    #FramaC #ACSL

    #acsl #framac
  2. Hafstorsk Tutiluren Rufsgössen @[email protected] ·

    I started looking at ACSL in Frama-C. Looks promising, although a bit complex at first.

    I wonder if I can convey it to output its proofs in some readable format for archiving. And it would be swell with some test report or so. Perhaps also a non-zero return code so that it becomes more easily integrated in a regression test CI/CD pipeline.

    #FramaC #ACSL

    #acsl #framac