.

wcfs/client/client_test.py

@@ -28,6 +28,7 @@ wcfs.py/wcfs.go while running tox tests in wcfs mode.
 from __future__ import print_function, absolute_import
 
 from golang import func, defer, b
+from golang.golang_test import panics
 from wendelin.wcfs.wcfs_test import tDB, tAt
 from wendelin.wcfs import wcfs_test
 from wendelin.wcfs.internal.wcfs_test import read_mustfault
@@ -185,5 +186,13 @@ def test_wcfs_client_down_efault():
     tm1.assertBlk(2, 'c1', {})
     tm1.assertBlk(3, 'd1', {})
 
+    with panics("not faulted"): read_mustfault(m1.mem[0*zf.blksize:][:1])
+    with panics("not faulted"): read_mustfault(m1.mem[1*zf.blksize:][:1])
+
     assert m1.mem[0*zf.blksize] == b'c'
     assert m1.mem[1*zf.blksize] == b'd'
+
+    # close fileh -> m1 must turn into efaulting memory
+    fh.close()
+    read_mustfault(m1.mem[0*zf.blksize:][:1])
+    read_mustfault(m1.mem[1*zf.blksize:][:1])