I checked out the develop branch and gave it a try. I see the falling edge when I plot it:
username@computername:~$ git clone
https://github.com/richard-evans/vampire.git...
username@computername:~/vampire$ git checkout develop
username@computername:~/vampire$ make
...
username@computername:~/vampire$ cd ../test
username@computername:~/test$ ls -ls
total 12
4 -rw-r--r-- 1 username username 821 Apr 17 02:37 Co.mat
4 -rw-r--r-- 1 username username 1622 Apr 17 09:20 input
4 -rw-r--r-- 1 username username 73 Apr 17 09:11 plotPulse.gnu
username@computername:~/test$ vampire-serial
_
(_)
__ ____ _ _ __ ___ _ __ _ _ __ ___
\ \ / / _` | '_ ` _ \| '_ \| | '__/ _ \
\ V / (_| | | | | | | |_) | | | | __/
\_/ \__,_|_| |_| |_| .__/|_|_| \___|
| |
|_|
Version 7.0.0 Apr 17 2026 10:41:02
Git commit: c3e38ec6134e8bb9342f1b2c4cd8406a7820ad49
...
Simulation ended gracefully.
username@computername:~/test$ gnuplot --persist plotPulse.gnu