Code Monkey home page Code Monkey logo

Comments (4)

fbrausse avatar fbrausse commented on June 9, 2024

Orthogonally to this issue: we do support ESBMC_OPTS="--cppstd 11".

from esbmc.

XLiZHI avatar XLiZHI commented on June 9, 2024

We can change to C++ 11 here, I think the front end already supports some of the features of c++ 11, let's look at the CI result first.

esbmc/src/clang-cpp-frontend/clang_cpp_language.cpp

Line 39 in 40f9950

std::string clangstd = cppstd.empty() ? "-std=c++03" : "-std=c++" + cppstd; 

	2155 - regression/esbmc-cpp11/cpp/ch4_16 (Failed)
	2555 - regression/esbmc-cpp/cpp/llbmc_sort-test02 (Failed)
	2570 - regression/esbmc-cpp/cpp/string_const (Failed)
	2571 - regression/esbmc-cpp/cpp/string_const_bug (Failed)
	3155 - regression/esbmc-cpp/algorithm/algorithm108 (Failed)
	3156 - regression/esbmc-cpp/algorithm/algorithm109 (Failed)
	3159 - regression/esbmc-cpp/algorithm/algorithm111 (Failed)
	3160 - regression/esbmc-cpp/algorithm/algorithm112 (Failed)
	3161 - regression/esbmc-cpp/algorithm/algorithm113 (Failed)
	3171 - regression/esbmc-cpp/algorithm/algorithm122 (Failed)
	3172 - regression/esbmc-cpp/algorithm/algorithm123 (Failed)
	3175 - regression/esbmc-cpp/algorithm/algorithm15 (Failed)
	3176 - regression/esbmc-cpp/algorithm/algorithm16 (Failed)
	3177 - regression/esbmc-cpp/algorithm/algorithm17 (Failed)
	3195 - regression/esbmc-cpp/algorithm/algorithm33 (Failed)
	3203 - regression/esbmc-cpp/algorithm/algorithm40 (Failed)
	3205 - regression/esbmc-cpp/algorithm/algorithm40_sort2 (Failed)
	3208 - regression/esbmc-cpp/algorithm/algorithm42 (Failed)
	3252 - regression/esbmc-cpp/algorithm/algorithm79 (Failed)
	3254 - regression/esbmc-cpp/algorithm/algorithm80 (Failed)
	3272 - regression/esbmc-cpp/algorithm/algorithm92 (Failed)
	3274 - regression/esbmc-cpp/algorithm/algorithm94 (Failed)
	3279 - regression/esbmc-cpp/algorithm/algorithm99 (Failed)
	3283 - regression/esbmc-cpp/algorithm/algorithm_swap (Failed)
	3491 - regression/esbmc-cpp/multiset/multiset-begin (Failed)
	3503 - regression/esbmc-cpp/multiset/multiset-end (Failed)
	3504 - regression/esbmc-cpp/multiset/multiset-end-bug (Failed)
	3563 - regression/esbmc-cpp/set/set-begin (Failed)
	3579 - regression/esbmc-cpp/set/set-end (Failed)
	3580 - regression/esbmc-cpp/set/set-end-bug (Failed)
	3604 - regression/esbmc-cpp/set/set-swap (Failed)
	
	https://github.com/XLiZHI/esbmc/actions/runs/8277381172/job/22647629897

from esbmc.

fbrausse avatar fbrausse commented on June 9, 2024

In #1047 (comment) there was some discussion about how a change to the default setting (back then proposed from C++98 to C++14) should be handled wrt. the regression tests that are now assuming C++03. I.e.: duplicate failing cases.

from esbmc.

mikhailramalho avatar mikhailramalho commented on June 9, 2024

from esbmc.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.