public void testAssertion() {
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| TestAssertion | Line # 17 | 3 | 2 | 0% |
0.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
| No Tests | |||
| 1 | /* | |
| 2 | * Created on 20 avr. 2004 | |
| 3 | * | |
| 4 | * To change the template for this generated file go to | |
| 5 | * Window>Preferences>Java>Code Generation>Code and Comments | |
| 6 | */ | |
| 7 | package org.sat4j.minisat; | |
| 8 | ||
| 9 | import junit.framework.TestCase; | |
| 10 | ||
| 11 | /** | |
| 12 | * @author roussel | |
| 13 | * | |
| 14 | * To change the template for this generated type comment go to | |
| 15 | * Window>Preferences>Java>Code Generation>Code and Comments | |
| 16 | */ | |
| 17 | public class TestAssertion extends TestCase { | |
| 18 | ||
| 19 | 0 |
public void testAssertion() { |
| 20 | 0 | boolean assertionsEnabled = false; |
| 21 | 0 | assert assertionsEnabled = true; |
| 22 | 0 | if (!assertionsEnabled) |
| 23 | 0 | fail("assertions should be enabled !"); |
| 24 | } | |
| 25 | ||
| 26 | } | |
|
||||||||||
