tests/stl/oracle · 786eea2fa1ad0817903ba94c598c5e73737b2936 · Stefan Gränitz / Frama Clang · GitLab

Snippets Groups Projects

Forked from pub / Frama Clang

660 commits behind the upstream repository.

Follows frama-c/frama-c!2936: update oracles

Allan Blanchard authored 4 years ago

786eea2f

786eea2f 4 years ago

Name	Last commit	Last update
..
saved
stl.err.oracle
stl.res.oracle
stl_algorithm.res.oracle
stl_atomic.res.oracle
stl_functional.res.oracle
stl_initializer_list.res.oracle
stl_iterator.res.oracle
stl_memory.res.oracle
stl_shared_ptr_mistake10.res.oracle
stl_shared_ptr_mistake5.res.oracle
stl_shared_ptr_mistake6.res.oracle
stl_shared_ptr_no_mistakes.err.oracle
stl_shared_ptr_no_mistakes.res.oracle
stl_system_error.err.oracle
stl_system_error.res.oracle
stl_typeinfo.res.oracle
stl_utility.res.oracle