vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
982 stars 118 forks source link

A tform test failed (Sta_Fill_1) #337

Open tueda opened 4 years ago

tueda commented 4 years ago
./check/check.rb sources/tform Sta_Fill_1
Check /home/tueda/work/form/sources/tform
TFORM 4.2.1 (Aug 28 2019, v4.2.1-5-g4057c65) 64-bits 4 workers  Run: Mon Dec  2 15:19:38 2019
Loaded suite ./check/check
Started

===============================================================================
Sta_Fill_1 (examples.frm:647) FAILED
===============================================================================
TFORM 4.2.1 (Aug 28 2019, v4.2.1-5-g4057c65) 64-bits 4 workers  Run: Mon Dec  2 15:19:38 2019
        Table B(1:1);
        Local dummy = 1;
        .sort

Time =       0.00 sec    Generated terms =          1
           dummy         Terms in output =          1
                         Bytes used      =         20
        Fill B(1) = dummy;
1.frm Line 4 --> Warning: Use of expressions and/or $variables in Fill statemen
ts is potentially very dangerous.
        Drop dummy;
        .sort
        Local F = B(1);
        Print;
        .end
===============================================================================

F
==============================================================================================
     653:
     654:
     655:
  => 656: def test_Sta_Fill_1; do_test {
     657: assert(finished?, 'Failed for finished?')
     658:     assert warning?
     659: } end; end
/tmp/form_check_20191202-138993-14z5755/examples.rb:656:in `test_Sta_Fill_1'
./check/check.rb:270:in `do_test'
./check/check.rb:270:in `times'
./check/check.rb:275:in `block in do_test'
Failure: test_Sta_Fill_1(Test_Sta_Fill_1):
  timeout (= 10 sec) in 1.frm of Sta_Fill_1 (examples.frm:647).
  <false> is not true.
==============================================================================================

Finished in 10.010304568 seconds.
----------------------------------------------------------------------------------------------
1 tests, 1 assertions, 1 failures, 0 errors, 0 pendings, 0 omissions, 0 notifications
0% passed
----------------------------------------------------------------------------------------------
0.10 tests/s, 0.10 assertions/s
$ head -2 /etc/os-release
NAME="CentOS Linux"
VERSION="7 (Core)"
$ uname -s -r -v -o
Linux 3.10.0-957.21.3.el7.x86_64 #1 SMP Tue Jun 18 16:35:19 UTC 2019 GNU/Linux
$ gcc --version | head -1
gcc (GCC) 4.8.5 20150623 (Red Hat 4.8.5-39)

It seems that sometimes it freezes (and sometimes succeeds). As the warning says, "Use of expressions and/or $variables in Fill statements is potentially very dangerous."