PKEuS
|
141d2ac215
|
Refactorization: Improved internal implementation of severity and certainty levels
Backported from LCppC.
|
2021-02-24 22:00:06 +01:00 |
PKEuS
|
cf1937294a
|
Refactorization: Removed unnecessary \n and spaces in strings
Merged from LCppC.
|
2021-02-20 12:58:42 +01:00 |
Daniel Marjamäki
|
093ff58f5f
|
Fix crash in cbmc detected with daca@home
|
2020-09-24 20:48:26 +02:00 |
|
Daniel Marjamäki
|
08ddd84780
|
Update copyright year
|
2020-05-10 11:16:32 +02:00 |
|
Daniel Marjamäki
|
3e0218299b
|
Revert "Update copyright year"
This reverts commit 6eec6c4bd5.
|
2020-05-10 11:13:05 +02:00 |
|
Daniel Marjamäki
|
6eec6c4bd5
|
Update copyright year
|
2020-05-10 11:11:34 +02:00 |
|
Daniel Marjamäki
|
4ba2aa82bb
|
astyle formatting
[ci skip]
|
2020-04-18 09:38:23 +02:00 |
Carl Michael Grüner Monzón
|
7c93f51885
|
Consider pre{inc,dec}rements on assert checks (#2605)
* Consider pre{inc,dec}rements on assert checks
* Simplify code by using new AST APIs
* Fix assert test with invalid syntax
|
2020-04-18 09:26:24 +02:00 |
|
Daniel Marjamäki
|
38d5712aaa
|
Moved CheckAssert::assertWithSideEffects to normal checking
|
2019-03-09 16:50:50 +01:00 |
|
Daniel Marjamäki
|
bd7790fd8c
|
Update copyright year
|
2019-02-09 07:24:06 +01:00 |
|
Daniel Marjamäki
|
8dd641b8be
|
Use OVERRIDE in test
|
2019-01-12 15:45:25 +01:00 |
|
Daniel Marjamäki
|
45379a3aa6
|
Updated copyright year for modified files
[ci skip]
|
2018-06-10 22:07:21 +02:00 |
IOBYTE
|
ce50df8047
|
Fix override warnings. (#1234)
|
2018-05-15 16:37:40 +02:00 |
|
Daniel Marjamäki
|
c4caee6b18
|
Updated copyright year
|
2018-01-14 15:37:52 +01:00 |
Ayaz Salikhov
|
28aa939d69
|
iwyu - include what you use
|
2017-05-27 04:33:47 +02:00 |
|
Daniel Marjamäki
|
2a42f245a9
|
Fixed #7130 (Wrong assignmentInAssert when using lambda in predicate function)
|
2016-05-26 18:29:29 +02:00 |
Lauri Nurmi
|
996c9244d8
|
Update copyright year to 2007-2016.
|
2016-01-01 15:34:45 +02:00 |
|
Daniel Marjamäki
|
0f9d90d2be
|
Changed Copyrights. Removed my name.
|
2015-11-18 20:04:50 +01:00 |
|
PKEuS
|
3a5cef8a7e
|
Refactorization: Improved usage of Settings instances in test suite
|
2015-10-07 18:40:03 +02:00 |
|
PKEuS
|
42673255ed
|
Refactorized testrunner: Create std::string only where necessary
|
2015-03-15 12:36:40 +01:00 |
PKEuS
|
bc5132e0ac
|
Refactorization: Moved declaration of errout, ... to testsuite.h, uniformized style
|
2015-03-11 22:54:43 +01:00 |
|
Daniel Marjamäki
|
ff11ba9847
|
Updated copyright year to 2015
|
2015-01-03 12:14:58 +01:00 |
|
Daniel Marjamäki
|
051d42ae6b
|
astyle formatting
|
2014-11-20 14:20:09 +01:00 |
orbitcowboy
|
f5d804f71a
|
running astyle
|
2014-11-20 10:13:03 +01:00 |
|
PKEuS
|
c3577bc8dd
|
Fixed crash, simplified code in testassert.cpp
|
2014-08-06 12:24:21 +02:00 |
|
PKEuS
|
8da61ab71a
|
Refactorized CheckAssert::assertWithSideEffects():
- Removed crap
- Error message on calling non-const member function in assert()
- Fixed false positive #5311 and TODO_ASSERT
|
2014-08-06 10:15:48 +02:00 |
|
Daniel Marjamäki
|
fd3a8a2a18
|
Update copyright
|
2014-02-15 07:45:39 +01:00 |
Alexander Mai
|
986ec42d79
|
Fixed #4937 (false positive: Assert calls a function which may have desired side effects)
|
2013-08-22 06:38:54 +02:00 |
Frank Zingsheim
|
aa25d1e0af
|
Fixed #4837 (False positive: Assert statement calls a function which may have desired side effects (local variable))
|
2013-06-05 22:10:43 +02:00 |
XhmikosR
|
f32aa89da3
|
run tabspace
|
2013-05-08 18:36:47 +02:00 |
Lena Herscheid
|
e23038c4de
|
Fixed #4775 (Check for assert() with side effects)
|
2013-05-07 21:35:16 +02:00 |