#!/bin/bash

rm ipc2023_cegarplusplus.sif
