ນີ້ແມ່ນຄໍາສັ່ງ cpbm ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍສະຖານີເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
cpbm - ຊຸດເຄື່ອງມືການວິເຄາະຊອບແວ (ເບື້ອງຕົ້ນ: CPROVER benchmarking framework)
ສະຫຼຸບສັງລວມ
cpbm ຄໍາສັ່ງຍ່ອຍ [ທາງເລືອກໃນການ] ...
ລາຍລະອຽດ
ຫນ້າຄູ່ມືນີ້ເອກະສານສັ້ນໆກ່ຽວກັບ cpbm ຄໍາສັ່ງ.
cpbm ສະຫນອງການເຂົ້າເຖິງການເກັບກໍາສະຄິບແລະເຄື່ອງມືໃນການວິເຄາະຊອບແວ benchmark
ເຄື່ອງມື.
ຄໍາສັ່ງຍ່ອຍ
ຄໍາສັ່ງຍ່ອຍຕໍ່ໄປນີ້ແມ່ນມີຢູ່; ພວກເຂົາແຕ່ລະມີຊຸດຂອງຕົນເອງຂອງທາງເລືອກທີ່ເປັນ
ສະແດງໃຫ້ເຫັນໂດຍ cpbm ຄໍາສັ່ງ - ຊ່ວຍ.
ຊ່ວຍເຫຼືອ | - ຊ່ວຍ
ສະແດງຂໍ້ຄວາມຊ່ວຍເຫຼືອ cpbm.
- ການປ່ຽນແປງ
ສະແດງສະບັບປະຈຸບັນ.
ບ້ານ ພິມເສັ້ນທາງທີ່ສະຄຣິບ cpbm ຢູ່.
ຈັດແຈງ ຖອດຊຸດແພັກເກັດມາດຕະຖານ CPROVER.
ການປັບປຸງ ອັບເດດແພັກເກດ CPROVER benchmark.
ໃນມັນ ສ້າງຊຸດມາດຕະຖານ CPROVER.
ແລ່ນ ດໍາເນີນການເຄື່ອງມືການຢັ້ງຢືນຢູ່ໃນມາດຕະຖານທີ່ກໍານົດແລະໄດ້ຮັບບັນທຶກ.
ຜີວໜັງ
ດໍາເນີນການແຫຼ່ງ C ຜ່ານ Cil.
ລາຍຊື່ການຮຽກຮ້ອງ
ລາຍຊື່ການຮຽກຮ້ອງທັງໝົດຢູ່ໃນດັດຊະນີ.
csv ຜະລິດຕາຕະລາງ CSV ຈາກການແລ່ນມາດຕະຖານ.
ຕາຕະລາງ ຜະລິດຕາຕະລາງ LaTeX ຈາກ CSV.
graph ຜະລິດສະຄຣິບ GNUplot ສໍາລັບກ່ອງ ແລະກະແຈກກະຈາຍ.
ເວັບໄຊຕ໌ ສ້າງຕາຕະລາງ HTML ແລະເກັບກໍາໄຟລ໌ບັນທຶກສໍາລັບການພິມໃນເວັບ
ໃຊ້ cpbm ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
