📄 hugemain.plg
字号:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(536): 'Hugeint operator+(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1296): 'Hugeint & operator++(void)'
METHOD: Hugeint operator++(int)(6 test cases)
TEST 1
Name: AUTO_1_SP_0
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: -2147483648 (0x80000000)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): 'Hugeint(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1308): 'Hugeint operator++(int)'
TEST 2
Name: AUTO_1_SP_1
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: 0 (0x00000000)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): 'Hugeint(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1308): 'Hugeint operator++(int)'
TEST 3
Name: AUTO_1_SP_2
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: 1 (0x00000001)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): 'Hugeint(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1308): 'Hugeint operator++(int)'
TEST 4
Name: AUTO_1_SP_3
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: 2147483647 (0x7fffffff)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): 'Hugeint(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1308): 'Hugeint operator++(int)'
TEST 5
Name: AUTO_1_SP_4
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: -1 (0xffffffff)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): 'Hugeint(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1308): 'Hugeint operator++(int)'
TEST 6
Name: AUTO_1_SP_5
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: -49548 (0xffff3e74)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): 'Hugeint(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1308): 'Hugeint operator++(int)'
METHOD: Hugeint operator-(const Hugeint &)(1 test case)
TEST 1
Name: AUTO_1_BM_0
Pre Conditions: ::Hugeint(), ::ostream_withassign(),
Arguments: ::Hugeint()
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(229): 'Hugeint & operator=(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(398): 'Hugeint hugeabs(const Hugeint &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(546): 'Hugeint operator-(const Hugeint &)'
METHOD: Hugeint operator-(const long &)(6 test cases)
TEST 1
Name: AUTO_1_KM_0
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: value=-723 (0xfffffd2d)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(662): 'Hugeint operator-(const long &)'
TEST 2
Name: AUTO_1_KM_1
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: value=2147483647 (0x7fffffff)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(662): 'Hugeint operator-(const long &)'
TEST 3
Name: AUTO_1_KM_2
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: value=-1 (0xffffffff)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(662): 'Hugeint operator-(const long &)'
TEST 4
Name: AUTO_1_KM_3
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: value=-2147483648 (0x80000000)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(662): 'Hugeint operator-(const long &)'
TEST 5
Name: AUTO_1_KM_4
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: value=0 (0x00000000)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(662): 'Hugeint operator-(const long &)'
TEST 6
Name: AUTO_1_KM_5
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: value=1 (0x00000001)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(662): 'Hugeint operator-(const long &)'
METHOD: Hugeint & operator--(void)(1 test case)
TEST 1
Name: AUTO_1_RP_0
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments:
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): Access violation exception
Stack trace:
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(140): 'void makeempty(void)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(171): 'Hugeint & operator=(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(662): 'Hugeint operator-(const long &)'
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(1302): 'Hugeint & operator--(void)'
METHOD: Hugeint operator--(int)(6 test cases)
TEST 1
Name: AUTO_1_TP_0
Pre Conditions: ::Hugeint(), ::ostream_withassign()
Arguments: 0 (0x00000000)
Arguments Post:
Return:
Post Conditions:
Status: TEST FAILED
Post condition failed for execution result type:
expected type: Normal return
obtained type: Access violation exception
E:\UpLoad\code\vc\算法.数据结构\Hugeint\Hugeint.cpp(19): Access violation exception
Stack trace:
E:\UpLo
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -